es-trans-state-from{i:l}(es;ks;g;z;e1;e2)
== list_accum(x,a.let k,s,v = a in if deq-member(KindDeq;k;ks) g(k,s,v,x) else x fi;
== list_accum(z;
== list_accum(es-hist{i:l}(es;e1;e2)) 

latex

---

clarification:

es-trans-state-from{i:l}
es-trans-state-from(es; ks; g; z; e1; e2)
== list_accum(x,a.let k,s,v = a in if deq-member(KindDeq;k;ks) g(k,s,v,x) else x fi;
== list_accum(z;
== list_accum(es-hist{i:l}
== list_accum(es-hist(es; e1; e2)) 

latex

Definitions	list_accum(x,a.f(x;a);y;l), let x,y,z = a in t(x;y;z), if b t else f fi, deq-member(eq;x;L), KindDeq, es-hist{i:l}(es;e1;e2)
FDL editor aliases	es-trans-state-from